<html>
<head><meta charset="utf-8"><title>renaming confusing things · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html">renaming confusing things</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158731004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158731004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158731004">(Feb 17 2019 at 06:48)</a>:</h4>
<p>we could rename Kind to Term or Value</p>



<a name="158731013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158731013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158731013">(Feb 17 2019 at 06:48)</a>:</h4>
<p>(deleted)</p>



<a name="158731014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158731014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158731014">(Feb 17 2019 at 06:48)</a>:</h4>
<p>downsides: Term may be a bit obscure, and Value is probably more confusing than Kind tbh</p>



<a name="158731033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158731033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158731033">(Feb 17 2019 at 06:49)</a>:</h4>
<p>we could even flatten them so lifetime parameters and placeholders (assuming NLL handles everything) are just type parameters (but we wouldn't call them "TyParam", just Param) and placeholders</p>



<a name="158731096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158731096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158731096">(Feb 17 2019 at 06:50)</a>:</h4>
<p>Substs would just be Args I guess?</p>



<a name="158731137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158731137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158731137">(Feb 17 2019 at 06:52)</a>:</h4>
<p><span class="user-mention" data-user-id="126804">@Ariel Ben-Yehuda</span>'s "small Substs" optimization could even work in more cases, e.g. tuples</p>



<a name="158763463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158763463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158763463">(Feb 17 2019 at 23:18)</a>:</h4>
<p>Kind seems less confusing than those two IMO</p>



<a name="158772219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158772219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158772219">(Feb 18 2019 at 03:46)</a>:</h4>
<p>we had this discussion before, didn't we?</p>



<a name="158800170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158800170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158800170">(Feb 18 2019 at 13:35)</a>:</h4>
<p>there's probably a <code>C-cleanup</code> issue out there somewhere :P</p>



<a name="158903697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158903697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158903697">(Feb 19 2019 at 18:12)</a>:</h4>
<p>I don't really know of a "good" term -- <code>Kind</code> feels pretty wrong in the sense that it's only barely a noun to my ears. I mean, it is a noun, but it's not really something I think of as a "thing", more like a category of a thing</p>



<a name="158903720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158903720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158903720">(Feb 19 2019 at 18:12)</a>:</h4>
<p>but for now I'm sort of inclined to just leaveit</p>



<a name="158903738"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/renaming%20confusing%20things/near/158903738" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/renaming.20confusing.20things.html#158903738">(Feb 19 2019 at 18:12)</a>:</h4>
<p>until we come up with a clearly better term (no pun intended)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>